type C - PDFSEARCH.IO - Document Search Engine

type C
Results: 3897

#	Item
131	Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian1 Justus Matthiesen1 James Lingard2 Kyndylan Nienhuis1 David Chisnall1 Robert N.M. Watson1 Peter Sewell1 1 University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2016-06-11 11:44:23 Software engineering Computing Computer programming Data types C Pointer Type safety Null pointer Undefined behavior Reference Aliasing Struct
132	To appear in: Concurrency: Practice & Experience, Vol. 11, Locality optimization in JavaParty by means of static type analysis Michael Philippsen and Bernhard Haumacher Computer Science Department, University of K Add to Reading List Source URL: www.haumacher.de Language: English - Date: 2009-01-31 15:30:03 Software engineering Computing Computer programming Object-oriented programming languages Object-oriented programming Concurrent programming languages Sun Microsystems Cross-platform software Java Constructor This Objective-C
133	Printer Sheet - YORP copy Add to Reading List Source URL: www.asteroidmission.org Language: English - Date: 2016-06-07 16:17:00 Planetary science Planetary defense Spacecraft OSIRIS-REx 101955 Bennu Asteroid Near-Earth object C-type asteroid Near-Earth Asteroid Scout Colonization of the asteroids
134	Appears in Proceedings of the 9th European Symposium on Programming, ESOP 2000, Berlin, Germany, March 2000, Springer-Verlag LNCSType Classes with Functional Dependencies? Mark P. Jones Department of Computer Scie Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-10-01 03:14:50 Software engineering Computer programming Computing Data types Type theory Functional programming C++ Type class C++ classes Monad Parameter Type system
135	On Induction Principles C. Verhoef Programming Research Group University of Amsterdam KruislaanSJ Amsterdam Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:28:59 Mathematics Theoretical computer science Mathematical analysis Operator theory Computability theory Automated theorem proving Logic programming Type theory Unification operator Spectral theory of ordinary differential equations
136	Astronomy & Astrophysics A&A 376, 359–DOI: : Add to Reading List Source URL: www.aanda.org Language: English Computing Astronomical imaging Graphics file formats Data FITS Computer file formats Array programming languages PLY MPS C++ classes EXPRESS Data type
137	Printer Sheet - Itokawa copy Add to Reading List Source URL: brinktest.lpl.arizona.edu Language: English - Date: 2016-03-28 13:40:22 Planetary science Planetary defense Spacecraft Outer space Spaceflight New Frontiers program OSIRIS-REx Origin of life 101955 Bennu Asteroid Near-Earth object C-type asteroid
138	Introduction to Julia David Zeng Keegan Go Stephen Boyd Add to Reading List Source URL: stanford.edu Language: English - Date: 2015-09-24 12:16:15 Data types Software engineering Boolean algebra Computing Boolean data type Computer programming Primitive data type Boolean expression Operator Boolean Relational operator C
139	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
140	a p p l i c a n t ’ s i n f o r m a t i o n (please type or print legibly) Name: Home address: Home phone: Cellphone: Email: Add to Reading List Source URL: www.japansociety.org Language: English - Date: 2016-08-01 10:53:14 Technology Digital media Computer hardware Mobile phone New media Telephony Digital Visual Interface Email

UPDATE